翻訳と辞書 Words near each other ・ Rule of law doctrine in Singapore ・ Rule of Law in Armed Conflicts Project ・ Rule of law in the United Kingdom ・ Rule of Law Initiative ・ Rule of least power ・ Rule of man ・ Rule of marteloio ・ Rule of Ming and Zhang ・ Rule of mixtures ・ Rule of mutual exclusion ・ Rule of nines ・ Rule of product ・ Rule of reason ・ Rule of recognition ・ Rule of Ren and Xuan ・ Rule of replacement ・ Rule of Rescue ・ Rule of Rose ・ Rule of Saint Benedict ・ Rule of Sarrus ・ Rule of seven ・ Rule of six (viruses) ・ Rule of St. Augustine ・ Rule of succession ・ Rule of sum ・ Rule of the Bone ・ Rule of the Dukes ・ Rule of the Major-Generals ・ Rule of the Master ・ Rule of the octave Dictionary Lists mini英和辞書 mini和英辞書 Webster 1913 Latin-English FOLDOC Wikipedia English ウィキペディア

翻訳と辞書　辞書検索 [ 開発暫定版 ] スポンサード リンク Rule of replacement ： ウィキペディア英語版 Rule of replacement In logic, a rule of replacement〔Moore and Parker〕 is a transformation rule that may be applied to only a particular segment of an expression. A logical system may be constructed so that it uses either axioms, rules of inference, or both as transformation rules for logical expressions in the system. Whereas a rule of inference is always applied to a whole logical expression, a rule of replacement may be applied to only a particular segment. Within the context of a logical proof, logically equivalent expressions may replace each other. Rules of replacement are used in propositional logic to manipulate propositions. Common rules of replacement include de Morgan's laws, commutation, association, distribution, double negation,〔not admitted in intuitionistic logic〕 transposition, material implication, material equivalence, exportation, and tautology. ==References== 抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』 ■ウィキペディアで「Rule of replacement」の詳細全文を読む スポンサード リンク 翻訳と辞書 : 翻訳のためのインターネットリソース Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.